digraph graph_42_04
{
	node_42_04_1
	[
		fixedsize
		width
	]
}
